//
//  PreferenceController.h
//  CocOCaml
//
//	$Id: PreferenceController.h,v 1.1.1.1 2003/02/27 16:53:39 wneuman Exp $
//
//  Created by William D. Neumann on Sun Feb 16 2003.
//  Copyright (c) 2003 William D. Neumann. All rights reserved.
//
//	This program is free software; you can redistribute it and/or modify
//	it under the terms of the Artistic License as published by Larry
//	Wall, either version 2.0, or (at your option) any later version.
//
//	This program is distributed in the hope that it will be useful,
//	but WITHOUT ANY WARRANTY; without even the implied warranty of
//	MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
//	Artistic License for more details.
//
//	You should have received a copy of the Artistic License with this Kit,
//	in the file named "Artistic.clarified".  If not, I'll be glad to provide
//	one.
//

#import <AppKit/AppKit.h>

extern NSString* WDNInterpreterPathKey;
extern NSString* WDNInterpreterArgsKey;
extern NSString* WDNInitialPrefsSetKey;

@interface PreferenceController : NSWindowController {
    IBOutlet NSTextField* interpreterPathField;
    IBOutlet NSTextField* interpreterArgsField;
}	
- (IBAction) savePreferences:(id)sender;
- (IBAction) cancel:(id)sender;
@end
